Synchronous design of a transformer station controller with Signal 1

This paper presents the speciication and validation of the automatic circuit-breaking control system of an electric power transformer station. It handles the reaction to electrical defects on the high voltage lines. The purpose of this study is to construct a discrete event control system based on digital technology. To this end, we use the synchronous approach to reactive real-time systems, and in particular the data ow language Signal, and its tools for speciica-tion, formal veriication, simulation, and implementation. The hierarchical, state-based and preemptive controller is implemented with Signal and its extension for preemptive tasks SignalGT _. A graphical simulator supports validation of the speciication.